This paper is about the good side of modal logic, the bad side of modal logic, and how hybrid logic takes the good and fixes the bad.In essence, modal logic is a simple formalism for working with relational structures . But modal logic has no mechanism for referring to or reasoning about the individual nodes in such structures, and this lessens its effectiveness as a representation formalism. In their simplest form, hybrid logics are upgraded modal logics in which reference to (...) individual nodes is possible.But hybrid logic is a rather unusual modal upgrade. It pushes one simple idea as far as it will go: represent all information as formulas. This turns out to be the key needed to draw together a surprisingly diverse range of work . Moreover, it displays a number of knowledge representation issues in a new light, notably the importance of sorting. (shrink)

We live in a world of rapidly advancing, revolutionary technologies that are not just reshaping our world and wars, but also creating a host of ethical questions that must be dealt with. But in trying to answer them, we must also explore why exactly is it so hard to have effective discussions about ethics, technology, and war in the first place? This article delves into the all-too-rarely discussed underlying issues that challenge the field of ethics when it comes to talking (...) about war, weapons, and moral conduct. These issues include the difficulty of communicating across fields; the complexity of real world dilemmas versus the seminar room and laboratory; the magnified role that money and funding sources play in shaping not just who gets to talk, but what they research; cross-cultural differences; the growing role of geographic and temporal distance issues; suspicion of the actual value of law and ethics in a harsh realm like war; and a growing suspicion of science itself. If we hope better to address our growing ethical concerns, we must face up to these underlying issues as well. (shrink)

Purpose: A study was made of attitudes of clinical geneticists regarding the age at which minors should be allowed to undergo a carrier test and the reasons they provide to explain their answer. Methods: European clinical institutions where genetic counselling is offered to patients were contacted. 177 (63%) of the 287 eligible respondents answered a questionnaire. Results: Clinical geneticists were significantly more in favour of providing a carrier test to a younger person if the request was made together with the (...) parents than if the adolescent requested the test personally. Although a large fraction of respondents (16%–30%) were “neither unwilling nor willing” to provide a carrier test to a 16-year-old adolescent who requested the test personally, for most disorders slightly more clinical geneticists were “very willing” or “willing”. Conclusion: Age is not the only decisive element when considering the participation of adolescents in decisions affecting their health. The clinical geneticists referred to cognitive, emotional and sexual maturity and the support of parents as crucial elements in their comments regarding when to tell children about their genetic risk or to allow adolescents to request a carrier test. (shrink)

In his book, The Principles of Mathematics , the young Bertrand Russell abandoned the common-sense notion that the whole must be greater than its part, and argued that wholes and their parts can be similar, e.g. where both are infinite series, the one being a sub-series of the other. He also rejected the popular view that the idea of an infinite number is self-contradictory, and that an infinite set or collection is an impossibility. In this paper, I intend to re-examine (...) Russell's wisdom in doing both these things, and see if it might not have made more sense, and caused his enterprise fewer problems, if he had simply stuck to our commonplace ideas. To this end, I shall also be considering his treatment of certain paradoxes that he claims can only be resolved by the abandonment of the above notions, as well as certain others which his theories appear to have generated. (shrink)

The accepted narrative treats John Stuart Mill's Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill's 19th-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill's two notions offer separate answers to the two questions: natural groups (...) for taxonomy, and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative which treats our natural kinds just as a development of Mill's Kinds. (shrink)

O velichii cheloveka -- Ocherki teorii pola -- Igra v sobstvennostʹ. Osnovanii︠a︡ sot︠s︡ialʹnoĭ fiziki.

Man, as a fully human being, is created through society; he in his turn, through his own activities, creates and transforms society.